🧪 Compiler Testing - abnv · Scour

Fuzzing to Zero-Day: Pwning V8CTF With TurboFan Type Confusion, CVE-2025-2135 🚀V8 Internals

zellic.io·4d·Hacker News·

soak testing a desktop app in zig 🧪Zig Testing

enopdf.com·1d·Hacker News, r/Zig, r/programming·

April 1, 2026 🔬Nanopasses

the grugq's newsletter via buttondown.com·1d·

PSFuzz: Rethinking Web Fuzzing in the Age of AI 🎲Parser Fuzzing

infosecwriteups.com

·4d·

I Let AI Rewrite My Bug Fix 🔧Error Recovery

web3id.xyz·4h·DEV·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·17h·

Validating Hare’s Sort Module using Symbolic Execution 🎯Symbolic Execution

notes.8pit.net·10h·Lobsters·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🪆Embedded DSLs

kerkour.com·1d·

Your AI Just Wrote 500 Lines of Code. Can You Prove Any of It Works? 🔍Static Analysis

pub.towardsai.net

·1d·

From if Statements to Classes: How Refactoring Taught Me Testable Code 🔍Static Analysis

github.com·6d·DEV·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

Writing Test Programs, Not Just Tests – Going Beyond the Test Runner 🎯Symbolic Execution

testflows.com·6d·Hacker News·

Runtime type checking is great (2023) ✅Type Checking

blog.jez.io·2d·Lobsters·

On Magic, Convetions, and Implicit vs Explicit 🔧API Design

andydote.co.uk·1d·

Rust's next-generation trait solver 🔒Rust Borrowing

lwn.net

·3d·

Mutation testing for the agentic era 🎲Test Generators

blog.trailofbits.com·1d·Hacker News·

Callgraph analysis 🦀MIR Optimization

ferrous-systems.com·2d·

Modern integration testing: Tools, techniques, and strategies for continuous quality 🧪Zig Testing

ministryoftesting.com·3d·

Book Review: Building a Debugger 🐛Interactive Debuggers

blogs.newardassociates.com·3d·Hacker News·

APIEval-20: A Benchmark for Black-Box API Test Suite Generation 🛡️Error Ergonomics

huggingface.co·3d·Hacker News·

Loading more...